×

constraint logic中文什么意思

发音:   用"constraint logic"造句
  • 约束逻辑(电路)
  • constraint logic programming:    逻辑程序设计
  • constraint:    n. 1.强迫,拘束。 2.约束,压抑,拘泥。 3.强制力。 4.紧张感[状态]。 by constraint 勉强,强迫。 feel constraint觉得局促不安,感受压迫。 show constraint显得局促。 under [in] constraint 被迫,不得不;被束缚着。
  • -logic:    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”: biological, philological.
  • and logic:    “与”逻辑
  • logic:    n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
下载手机词典可随时随地查词查翻译

例句与用法

  1. i regard qsim as a kind of constraint satisfaction problem ( csp ), and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets, such as representation of qualitative value, state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative, and improve the efficien
    前者是将定性仿真算法看作一类约束满足问题,用约束逻辑程序加以改进,不仅为解决定性仿真问题提供了逻辑框架,而且也是一种规范化的程序描述语言;模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进,是一类半定量描述方法,有利于在定性仿真领域综合定量信息,同时提高算法的效率。

相关词汇

其他语言

        constraint logic meaning:[Computer] (CLP) A programming framework based (like Prolog ) on LUSH (or SLD ) resolution , but in which unification has been replaced by a constraint solver . A CLP interpreter contains a...

相邻词汇

  1. constraint filtering restoration 什么意思
  2. constraint functional programming 什么意思
  3. constraint handling in prolog 什么意思
  4. constraint holonomic 什么意思
  5. constraint key 什么意思
  6. constraint manipulation 什么意思
  7. constraint network 什么意思
  8. constraint nonholonomic 什么意思
  9. constraint of kinematic pair 什么意思
  10. constraint of posi-tion 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Mon, 11 Aug 2025 00:29:56 GMT